SECA: Snapshot-based Event Detection for Checking Asynchronous Context Consistency in Ubiquitous Computing

نویسندگان

  • Daqiang Zhang
  • Qin Zou
  • Zhiren Sun
چکیده

Context-consistency checking is challenging in the dynamic and uncertain ubiquitous computing environments. This is because contexts are often noisy owing to unreliable sensing data streams, inaccurate data measurement, fragile connectivity and resource constraints. One of the state-of-the-art efforts is CEDA, which concurrently detects context consistency by exploring the happened-before relation among events. However, CEDA is seriously limited by several side effects — centralized detection manner that easily gets down the checker process, heavy computing complexity and false negative. In this paper, we propose SECA: Snapshot-based Event Detection for Checking Asynchronous Context Consistency in ubiquitous computing. SECA introduces snapshot-based timestamp to check event relations, which can detect scenarios where CEDA fails. Moreover, it simplifies the logical clock instead of adopting the vector clock, and thus significantly reduces both time and space complexity. Empirical studies show that SECA outperforms CEDA in terms of detection accuracy, scalability, and computing complexity.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Asynchronous event detection for context inconsistency in pervasive computing

Event detection for context inconsistency is challenging in pervasive computing environments, where contexts are often noisy owing to fragile connectivity, node frequent movement and resource constraints. As a recent scheme, CEDA — Concurrent Event Detection for Asynchronous inconsistency checking (CEDA) — concurrently detects context inconsistency by exploring the happened-before relation amon...

متن کامل

Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments

Context consistency checking, the checking of specified constraint on properties of contexts, is essential to contextaware applications. In order to delineate and adapt to dynamic changes in the pervasive computing environment, context-aware applications often need to specify and check behavioral consistency constraints over the contexts. This problem is challenging mainly due to the distribute...

متن کامل

ECCO : data centric asynchronous communication

The thesis of this dissertation deals with ubiquitous and wireless pervasive computing. The main focus is on data centric networking in distributed systems, which relies on content addressing instead of host addressing for participating nodes, thus providing network independence for applications. Publish/subscribe asynchronous group communication realises the vision of data centric networking t...

متن کامل

File of “ Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments ”

In our paper “Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments”, we propose the Property Detection for Asynchronous Context (PDAC) framework to support formal specification and runtime detection of dynamic properties in asynchronous pervasive computing environments. Three essential parts of the framework are discussed: modeling of...

متن کامل

Research of Semantic Web Model and Reasoning Based on F-Logic

In order to model context in pervasive computing environments, and support logic-based context reasoning, a core ontology modeling framework for OWL-S(Ontology Web Language for Services) and a reasoning mechanism using F-logic are proposed in this paper. It analyzes the construction of OWLS model type, gives F-logic axioms, derivation rules and methods to check the consistency and satisfiabilit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1305.3105  شماره 

صفحات  -

تاریخ انتشار 2013